Importing malaria.

Importing Logics

The novel notion of importing logics is introduced, subsuming as special cases several kinds of asymmetric combination mechanisms, like temporalization [8, 9], modalization [7] and exogenous enrichment [13, 5, 12, 4, 1]. The graph-theoretic approach proposed in [15] is used, but formulas are identified with irreducible paths in the signature multi-graph instead of equivalence classes of such pa...

Importing Alpha*

Contextualized RDF Importing

RDF is a key enabling technology for linked data. However, currently RDF lacks a mechanism to connect data from different documents as well to address the contextual differences in these documents. We propose to introduce rdf:imports for context-aware integration of RDF documents.

Mechanisms for Importing Modules

The current OWL 2 specification provides mechanisms for importing whole ontologies. This paper discusses the import of only a module of an external ontology, which is specified by a set of terms (classes and properties) and defined in such a way that it contains “all knowledge” of the external ontology about these terms. We discuss possible design choices for such an import mechanism, based on ...

Importing HOL Light into Coq

We present a new scheme to translate mathematical developments from HOL-Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding of Higher-Order Logic into Type Theory, we try to avoid some pitfalls of inter-operation between proof systems. In particular, our translation keeps the mathematical statements intelligible. This translation has been implemente...